style: Make padding a shorthand
authorBenjamin Otte <otte@redhat.com>
Sun, 22 May 2011 03:42:17 +0000 (05:42 +0200)
committerBenjamin Otte <otte@redhat.com>
Sun, 22 May 2011 03:56:12 +0000 (05:56 +0200)
commita35aa96149f3a7e6fafe083b3f5d97fb151f57d8
treea2d0ac6cf5627e34eece2b6f1c4f4ec96d92efa2
parent0c7e5a51f30d59dd0cb32b500c60b8eef3fe2631
style: Make padding a shorthand

... and add the real properties:
- padding-top
- padding-left
- padding-bottom
- padding-right
gtk/gtkcssprovider.c
gtk/gtkstylecontext.c
gtk/gtkstyleproperty.c